#import "../template.typ": *
= 判断推理